• الرئیسیة
  • البحث المتقدم
  • قائمة المکتبات
  • حول الموقع
  • اتصل بنا
  • نشأة
  • ورود / ثبت نام
تعداد ۴۴۶ پاسخ غیر تکراری از ۴۷۰ پاسخ تکراری در مدت زمان ۲,۹۴ ثانیه یافت شد.

241. Mathematical logic

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

المؤلف: Kleene, Stephen Cole, 9091-4991

المکتبة: (طهران)

موضوع: ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical

رده :
QA
8
.
K652

242. Mathematical logic :

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

المؤلف: Roman Kossak

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Algorithms & data structures.,Applied mathematics.,Computers-- Logic Design.,Logic, Symbolic and mathematical.,Mathematical foundations.,Mathematics-- Applied.,Mathematics-- History & Philosophy.,Mathematics-- Logic.,Mathematics-- Philosophy.,Philosophy-- Logic.,Philosophy of mathematics.,Philosophy: logic.

رده :
QA9
.
K67
2018

243. Mathematical logic and computability

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

المؤلف: Keisler, H. Jerome.

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: Mathematics ، Electronic data processing,، Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
M35
K45
1996

244. Mathematical logic and the found ations of mathematics

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

المؤلف: / G T kneebone

المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)

موضوع: Mathematics-philosophy,Logic,Symbolic and mathematical

رده :
QA
9
.
K673

245. Mathematical logic and the foundations of mathematics; an introductory survey

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

المؤلف: Kneebone, G. T.

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical

رده :
QA
9
.
K673

246. Mathematical logic and the foundations of mathematics

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

المؤلف: / An introductory survey, G. T. Kneebone

المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع: Mathematics - Philosophy,Logic, Symbolic and mathematical

رده :
510
.
01
Kn-M

247. Mathematical logic and the foundations of mathematics

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

المؤلف: / G.T. Kneebone

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع: Mathematics- Philosophy,Logic, Symbolic and mathematical

رده :
QA9
.
K673
2001

248. Mathematical logic and the foundations of mathematics

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

المؤلف: / G.T. Kneebone

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع: Mathematics- Philosophy,Logic, Symbolic and mathematical

رده :
QA9
.
K673
2001

249. Mathematical logic and the foundations of mathematics

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

المؤلف: / G.T. Kneebone

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع: Mathematics- Philosophy,Logic, Symbolic and mathematical

رده :
QA9
.
K673
2001

250. Mathematical logic for computer science

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

المؤلف: Lu, Chung-wan.

المکتبة: (طهران)

موضوع: Electronic data processing - Mathematics , Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
M35
L8
1989

251. Mathematical logic for computer science

پدیدآورنده : Lu, Chung-wan

موضوع : ، Computer science -- Mathematics,، Logic, Symbolic and mathematical

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

252. Mathematical logic for computer science

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

المؤلف: Lu, Zhong-Wan

المکتبة: (طهران)

موضوع: ، Computer science -- Mathematics,، Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
M35L8
1989

253. Mathematical problems from applied logic I :

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

المؤلف: edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev.

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.

رده :
QA9
.
A1
M38
2006eb

254. Mathematical thought from ancient to modern times

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

المؤلف: / Morris Kline

المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع: Mathematics - Philosophy,Logic - Symbolic and mathematical

رده :
510
.
1
Kl-M

255. Mathematics and Plausible reasoning

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

المؤلف: PolYa, George

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: Philosophy ، Mathematics,، Logic, Symbolic and mathematical

رده :
QA
9
.
P57

256. Mathematics and logic for digital devices

پدیدآورنده : Culbertson, James Thomas

موضوع : ، Mathematics,، Logic, Symbolic and mathematical

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

257. Mathematics and logic for digital devices

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

المؤلف: / by

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Mathematics,Logic,symbolic and mathematical

رده :
QA37
.
C95
1968

258. Mathematics and plausible reasoning

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

المؤلف: Polya, George

المکتبة: (طهران)

موضوع: ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical

رده :
QA
9
.
P57
1954

259. Mathematics and plausible reasoning

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

المؤلف: / by G. Polya-Princeton

المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع: Mathematics - Philosophy,Logic, Symbolic and mathematical

رده :
510
.
1
P781

260. Mathematics and plausible reasoning

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

المؤلف: Polya,George,

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: Philosophy ، Mathematics,، Logic, Symbolic and mathematical

رده :
QA
9
.
P57
1968
  • »
  • 23
  • 22
  • 21
  • 20
  • 19
  • ...
  • 17
  • 16
  • 15
  • 14
  • 13
  • 12
  • 11
  • 10
  • 9
  • ...
  • 4
  • 3
  • 2
  • 1
  • «

الاقتراح / اعلان الخلل

تحذیر! دقق في تسجیل المعلومات
ارسال عودة
تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال